projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3068dfd) | patch
tools/oxenstored: Use more efficient tries
authorEdwin Török <edvin.torok@citrix.com>
Fri, 8 Jan 2021 11:57:37 +0000 (11:57 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 22 Jan 2021 18:01:35 +0000 (18:01 +0000)
commitb1278939db0b2eded9729a8e8c77c93fcbc9d870
tree96a6e4128d053992f55525dcc3153ed854b10197tree | snapshot
parent3068dfd6415ae7db06112853581b7cbbcecadc2ccommit | diff
tools/oxenstored: Use more efficient tries

No functional change, just an optimization.

Signed-off-by: Edwin Török <edvin.torok@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
tools/ocaml/xenstored/connections.ml diff | blob | history
tools/ocaml/xenstored/symbol.ml diff | blob | history
tools/ocaml/xenstored/trie.ml diff | blob | history
tools/ocaml/xenstored/trie.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.